COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		I have no hesitation in supporting the promotion of Keith Clark
C00004 ENDMK
C⊗;
	I have no hesitation in supporting the promotion of Keith Clark
to a personal chair.

	Clark is regarded as one of the outstanding researchers in
logic programming by all the logic programming people I have encountered.

	From my own knowledge, I can say that his work on predicate
completion puts a solid foundation under the non-monotonic aspects
of logic programming.  In my visits to Imperial College and in his
visits to Stanford, I have always found him able to enlighten me
about any questions of logic programming I had.

	I am too far from the field to evaluate his more recent role
in developing improved logic programming systems for various computers.